Is external direct product cyclic